 //p(a);
//-?p(X);
p(f(X),h(Y,f(a)),Y);
-?p(Z,h(Z,W),f(W));